#ifndef __KERN_DRIVER_CONSOLE_H__
#define __KERN_DRIVER_CONSOLE_H__

#include "platform.h"
#include "defs.h"

/* cons_init - initializes the console devices */
void cons_init(void);

/* cons_putc - print a single character @c to console devices */
void cons_putc(int c);

/*cons_getc - return the next input character from console,
 * or 0 if none waiting.
 */
int cons_getc(void);

/* serial_intr - try to feed input characters from serial port */
void serial_intr(void);

/* kbd_intr - try to feed input characters from keyboard */
void kbd_intr(void);

#endif /* !__KERN_DRIVER_CONSOLE_H__ */

